週次 |
日期 |
單元主題 |
第1週 |
2/21 |
00. Class Introduction <br>
01. Introduction to Design Verification |
第2週 |
2/28 |
228 紀念日 (停課一天) |
第3週 |
3/07 |
02. Formal Modeling and Formal Property Specification |
第4週 |
3/14 |
03. Introduction to Binary Decision Diagram (BDD) |
第5週 |
3/21 |
04. Advanced BDD Techniques |
第6週 |
3/28 |
05. BDD-Based Verification |
第7週 |
4/04 |
兒童節 (停課一天) |
第8週 |
4/11 |
06. Introduction to Boolean Satisfiability (SAT) |
第9週 |
4/18 |
07. Advanced SAT Techniques |
第10週 |
4/25 |
08. Bounded Model Checking |
第11週 |
5/02 |
09. Unbounded Model Checking |
第12週 |
5/09 |
10. Property-Directed Reachability |
第13週 |
5/16 |
11. Applications of SAT on Logic Synthesis |
第14週 |
5/23 |
12. From SAT to Optimization Problems |
第15週 |
5/30 |
13. Advanced Topics on Modern Formal Verification |
第16週 |
6/06 |
14. System-Level Design and Verification |
第17週 |
6/13 |
Final Exam |